Fair termination revisited - with delay

AbstractA proof method for establishing the fair termination and total correctness of both nondeterministic and concurrent programs is presented. The method calls for the extension of state by auxiliary delay variables which count down to the instant in which certain action will be scheduled. It then uses well-founded ranking to prove fair termination allowing nested fair selection and loops

FINITE H-DIMENSION DOES NOT IMPLY EXPRESSIVE COMPLETENESS

Accepted versio

Food security among dryland pastoralists and agropastoralists: The climate, land-use change, and population dynamics nexus

During the last decades, pastoralist, and agropastoralist populations of the world’s drylands have become exceedingly vulnerable to regional and global changes. Specifically, exacerbated stressors imposed on these populations have adversely affected their food security status, causing humanitarian emergencies and catastrophes. Of these stressors, climate variability and change, land-use and management practices, and dynamics of human demography are of a special importance. These factors affect all four pillars of food security, namely, food availability, access to food, food utilization, and food stability. The objective of this study was to critically review relevant literature to assess the complex web of interrelations and feedbacks that affect these factors. The increasing pressures on the world’s drylands necessitate a comprehensive analysis to advise policy makers regarding the complexity and linkages among factors, and to improve global action. The acquired insights may be the basis for alleviating food insecurity of vulnerable dryland populations.info:eu-repo/semantics/acceptedVersio

Separation from mechanical ventilation and survival after spinal cord injury: a systematic review and meta-analysis

Abstract Background Prolonged need for mechanical ventilation greatly impacts life expectancy of patients after spinal cord injury (SCI). Weaning outcomes have never been systematically assessed. In this systematic review and meta-analysis, we aimed to investigate the probability of weaning success, duration of mechanical ventilation, mortality, and their predictors in mechanically ventilated patients with SCI. Methods We searched six databases from inception until August 2021 for randomized-controlled trials and observational studies enrolling adult patients (≥ 16 years) with SCI from any cause requiring mechanical ventilation. Titles and abstracts were screened independently by two reviewers. Full texts of the identified articles were then assessed for eligibility. Data were extracted independently and in duplicate by pairs of authors, using a standardized data collection form. Synthetic results are reported as meta-analytic means and proportions, based on random effects models. Results Thirty-nine studies (14,637 patients, mean age 43) were selected. Cervical lesions were predominant (12,717 patients had cervical lesions only, 1843 in association with other levels’ lesions). Twenty-five studies were conducted in intensive care units (ICUs), 14 in rehabilitative settings. In ICU, the mean time from injury to hospitalization was 8 h [95% CI 7–9], mean duration of mechanical ventilation 27 days [20–34], probability of weaning success 63% [45–78] and mortality 8% [5–11]. Patients hospitalized in rehabilitation centres had a greater number of high-level lesions (C3 or above), were at 40 days [29–51] from injury and were ventilated for a mean of 97 days [65–128]; 82% [70–90] of them were successfully weaned, while mortality was 1% [0–19]. Conclusions Although our study highlights the lack of uniform definition of weaning success, of clear factors associated with weaning outcomes, and of high-level evidence to guide optimal weaning in patients with SCI, it shows that around two-thirds of mechanically ventilated patients can be weaned in ICU after SCI. A substantial gain in weaning success can be obtained during rehabilitation, with additional duration of stay but minimal increase in mortality. The study is registered with PROSPERO (CRD42020156788)

Soil fungal abundance and plant functional traits drive fertile island formation in global drylands

Dryland vegetation is characterized by discrete plant patches that accumulate and capture soil resources under their canopies. These “fertile islands” are major drivers of dryland ecosystem structure and functioning, yet we lack an integrated understanding of the factors controlling their magnitude and variability at the global scale.EEA BarilocheFil: Ochoa-Hueso, Raúl. Universidad Autónoma de Madrid. Department of Ecology; EspañaFil: Eldridge, David J. University of New South Wales. School of Biological, Earth and Environmental Sciences; AustraliaFil: Delgado-Baquerizo, Manuel. University of Colorado. Cooperative Institute for Research in Environmental Sciences; Estados Unidos. Universidad Rey Juan Carlos. Escuela Superior de Ciencias Experimentales y Tecnología. Departamento de Biología y Geología, Física y Química Inorgánica; EspañaFil: Soliveres, Santiago. University of Bern. Institute of Plant Sciences; SuizaFil: Bowker, Matthew A. Northern Arizona University. School of Forestry; Estados UnidosFil: Gross, Nicolás. Universidad Rey Juan Carlos. Escuela Superior de Ciencias Experimentales y Tecnología. Departamento de Biología y Geología, Física y Química Inorgánica; España. Institut Nationale de la Recherche Agronomique; Francia. Université La Rochelle. Centre d’étude biologique de Chizé; FranciaFil: Le Bagousse-Pinguet, Yoann. Universidad Rey Juan Carlos. Escuela Superior de Ciencias Experimentales y Tecnología. Departamento de Biología y Geología, Física y Química Inorgánica; EspañaFil: Quero, José L. Universidad de Córdoba. Escuela Técnica Superior de Ingeniería Agronómica y de Montes. Departamento de Ingeniería Forestal: EspañaFil: García-Gómez, Miguel. Universidad Rey Juan Carlos. Escuela Superior de Ciencias Experimentales y Tecnología. Departamento de Biología y Geología, Física y Química Inorgánica; EspañaFil: Valencia, Enrique. Universidad Rey Juan Carlos. Escuela Superior de Ciencias Experimentales y Tecnología. Departamento de Biología y Geología, Física y Química Inorgánica; EspañaFil: Arredondo, Tulio. Instituto Potosino de Investigación Científica y Tecnológica. División de Ciencias Ambientales; MéxicoFil: Beinticinco, Laura. Universidad Nacional de La Pampa. Facultad de Agronomía; ArgentinaFil: Bran, Donaldo Eduardo. Instituto Nacional de Tecnología Agropecuaria (INTA). Estación Experimental Agropecuaria Bariloche; ArgentinaFil: Cea, Alex. Universidad de La Serena. Departamento de Biología; ChileFil: Coaguila, Daniel. Instituto de Ensino Superior de Rio Verde; BrasilFil: Dougill, Andrew J. University of Leeds. School of Earth and Environment; Gran BretañaFil: Espinosa, Carlos I. Universidad Técnica Particular de Loja. Departamento de Ciencias Naturales; EcuadorFil: Gaitan, Juan Jose. Instituto Nacional de Tecnología Agropecuaria (INTA). Instituto de Suelos; ArgentinaFil: Guuroh, Reginald T. University of Cologne. Botanical Institute. Range Ecology and Range Management Group; Alemania. CSIR-Forestry Research Institute of Ghana; GhanaFil: Guzmán, Elizabeth. Universidad Técnica Particular de Loja. Departamento de Ciencias Naturales; EcuadorFil: Gutiérrez, Julio R.. Universidad de La Serena. Departamento de Biología; Chile. Centro de Estudios Avanzados en Zonas Áridas (CEAZA); Chile. Instituto de Ecología y Biodiversidad; ChileFil: Hernández, Rosa M. Universidad Experimental Simón Rodríguez. Centro de Agroecología Tropical. Laboratorio de Biogeoquímica; VenezuelaFil: Huber-Sannwald, Elisabeth. Instituto Potosino de Investigación Científica y Tecnológica. División de Ciencias Ambientales; MéxicoFil: Jeffries, Thomas. Western Sydney University. Hawkesbury Institute for the Environment; AustraliaFil: Linstädter, Anja. University of Cologne. Botanical Institute. Range Ecology and Range Management Group; AlemaniaFil: Mau, Rebecca L. Northern Arizona University. Center for Ecosystem Science and Society: Estados UnidosFil: Monerris, Jorge. Université du Québec à Montréal. Pavillon des Sciences Biologiques. Département des Sciences Biologiques; CanadáFil: Prina, Anibal. Universidad Nacional de La Pampa. Facultad de Agronomía; ArgentinaFil: Pucheta, Eduardo. Universidad Nacional de San Juan. Facultad de Ciencias Exactas, Físicas y Naturales. Departamento de Biología; ArgentinaFil: Stavi, Ilan. Dead Sea and Arava Science Center, IsraelFil: Thomas, Andrew. Aberystwyth University. Department of Geography and Earth Sciences; Gran BretañaFil: Zaady, Eli. Agricultural Research Organization. Gilat Research Center. Natural Resources; IsraelFil: Singh, Brajesh K. Western Sydney University. Hawkesbury Institute for the Environment; Australia. Western Sydney University. Global Centre for Land-Based Innovation; AustraliaFil: Maestre, Fernando T. Universidad Rey Juan Carlos. Escuela Superior de Ciencias Experimentales y Tecnología. Departamento de Biología y Geología, Física y Química Inorgánica; Españ

Soil fungal abundance and plant functional traits drive fertile island formation in global drylands

International audience1.Dryland vegetation is characterised by discrete plant patches that accumulate and capture soil resources under their canopies. These “fertile islands” are major drivers of dryland ecosystem structure and functioning, yet we lack an integrated understanding of the factors controlling their magnitude and variability at the global scale.2.We conducted a standardized field survey across two hundred and thirty-six drylands from five continents. At each site, we measured the composition, diversity and cover of perennial plants. Fertile island effects were estimated at each site by comparing composite soil samples obtained under the canopy of the dominant plants and in open areas devoid of perennial vegetation. For each sample, we measured fifteen soil variables (functions) associated with carbon, nitrogen and phosphorus cycling and used the Relative Interaction Index to quantify the magnitude of the fertile island effect for each function. In eighty sites, we also measured fungal and bacterial abundance (quantitative PCR) and diversity (Illumina MiSeq).3.The most fertile islands, i.e. those where a higher number of functions were simultaneously enhanced, were found at lower-elevation sites with greater soil pH values and sand content under semiarid climates, particularly at locations where the presence of tall woody species with a low specific leaf area increased fungal abundance beneath plant canopies, the main direct biotic controller of the fertile island effect in the drylands studied. Positive effects of fungal abundance were particularly associated with greater nutrient contents and microbial activity (soil extracellular enzymes) under plant canopies.4.Synthesis. Our results show that the formation of fertile islands in global drylands largely depends on: (i) local climatic, topographic and edaphic characteristics, (ii) the structure and traits of local plant communities and (iii) soil microbial communities. Our study also has broad implications for the management and restoration of dryland ecosystems worldwide, where woody plants are commonly used as nurse plants to enhance the establishment and survival of beneficiary species. Finally, our results suggest that forecasted increases in aridity may enhance the formation of fertile islands in drylands worldwide

Effects of Acacia seyal and biochar on soil properties and sorghum yield in agroforestry systems in South Sudan

We studied the effects of Acacia seyal Del. intercropping and biochar soil amendment on soil physico-chemical properties and sorghum (Sorghum bicolor L.) yields in a two-year field experiment conducted on a silt loam site near Renk in South Sudan. A split-plot design with three replications was used. The main factor was tree-cropping system (dense acacia + sorghum, scattered acacia + sorghum, and sole sorghum) and biochar (0 and 10 Mg ha(-1)) was the subplot factor. The two acacia systems had lower soil pH, N and higher C/N ratios compared to the sole sorghum system. Biochar significantly increased soil C, exchangeable K+ contents, field capacity and available water content, but reduced soil exchangeable Ca2+ and effective CEC, and had no effect on soil pH. Acacia intercropping significantly reduced sorghum grain yields while biochar had no significant effect on sorghum yields. The land equivalent ratio (LER) for sorghum yield was 0.3 for both acacia systems in 2011, with or without biochar, but increased in 2012 to 0.6 for the scattered acacia system when combined with biochar. The reduction in sorghum yields by the A. seyal trees was probably due to a combination of competition for water and nutrients and shading. The lack of a yield response to biochar maybe due to insufficient time or too low a dosage. Further research is needed to test for the effects of tree intercropping and biochar and their interactions on soil properties and crop yields in drylands.Peer reviewe

Erratum to: 36th International Symposium on Intensive Care and Emergency Medicine

[This corrects the article DOI: 10.1186/s13054-016-1208-6.]